#ifndef _CLOCKSERVER_H_
#define _CLOCKSERVER_H_

#include <defs.h>

// Request types
#define DELAY_REQUEST         0   // Delay()
#define TIME_REQUEST          1   // Time()
#define DELAY_UNTIL_REQUEST   2   // DelayUntil()

// Clock requests (e.g. from system requests)
typedef struct __clock_req {
  int type;
  int ticks;
} clock_req;

void ClockServer();

#endif // _CLOCKSERVER_H_
